La grotte Mangin est une impressionnante baume mentionnée sur la carte IGN au-dessus de Proveyzieux. Sous cet auvent naturel, un gros pilier dessine une arche. En contrebas, un second pilier de taille modeste en dessine une autre.
Non loin de là se trouve une petite arche, à la cote 1283