Piscine, Mas du Grand Bosc