A short basis of the Stickelberger ideal of a cyclotomic field. - Olivier Bernard 002; Radan Kucera (Math. Comput., 2023)