Roofing of the water polo pool of the Red Star III swimming pool.