"42.72708#3.01212"^^ . "42.7270806"^^ . "3.01212752"^^ . . . .