Piscine municipale, Saint martin de Crau