Quelques chiffres

Sur le couloir n°1, Paul part en crawl côté plongeoir, mais avec un départ non plongé.

Sur le couloir n°2, Virginie part en même temps, en brasse coulée, du côté du petit bain. Ils nagent à vitesse constantes. Il se croisent une première fois à 5 m de l'extrémité de la piscine, côté petit bain. Puis tous deux, l'un après l'autre, font demi-tour et repartent l'un vers l'autre en conservant la même allure. Ils se croisent une deuxième fois à 2,5 m de l'extrémité côté plongeoir.

Quelle est la longueur de la piscine ?