Bonjour, je ne crois pas que cela soit ce trou qu'on appelle le "Trou Saint-michel". Celui-ci est un trou qui est le long de la crête, mais bien plus au nord du trou saint-michel (si je ne me trompe pas). Les spécialistes confirmeront ou infirmeront ...