Combien de temps pour faire le GR20 ? Parcours, durée et étapes