Est-ce que l’installation d’une pergola nécessite une déclaration de travaux à la mairie ?