Modifications des horaires d’ouverture des mairies en août