Peintures murales, Piscine de Brive-La-Gaillarde