Tour-monastère de l'abbaye de Lérins: où en sont les travaux, lancés en juillet 2020?