###User: ### qui est le maire de porte-de-seine ?  ###Assistant: Depuis les dernières élections municipales, le maire de porte-de-seine se nomme **monsieur jean-philippe brun**. il sera maire de la commune de porte-de-seine jusqu'en 2026, date des prochaines élections.