"C'est le grand luxe" : la mairie de Carpentras prend soin de ses maîtres-nageurs