Philippe veut installer une piscine dans son jardin: faut-il un permis de bâtir?