Comment déclarer l’achèvement des travaux à la mairie ?