Les recourants auraient pu déposer
un recours pour déni de justice avant que la Municipalité ne rende sa décision du 4 juillet 2025,
ils auraient alors disposé à tout le moins d’un intérêt actuel. Toutefois, ayant déposé leur demande
de permis de construire le 18 novembre 2024, la durée de la procédure aurait été de sept mois et
demi au maximum, et ne saurait dès lors être considérée comme excessive ou inacceptable.
Durant cette période, la Municipalité a établi un programme de procédure le 4 décembre 2024,
publié la demande de permis de construire le 13 décembre 2024, et rendu le 12 février 2025 une