Tête de Girardin, tour par les cols de girardin et tronchet