Quelle est la distance entre le port de Funchal et le téléphérique de Funchal ?