¿Cuánto debe de medir un carril de nado?