La grotte de Saint-Michel est le nom donné à un réseau de cavernes rocheuses, principalement calcaires, situées dans la partie supérieure de la réserve naturelle du rocher de Gibraltar (Gibraltar, péninsule ibérique), à une altitude de plus de 300 mètres au-dessus du niveau de la mer. Selon Alonso Hernández del Portillo, premier historien de Gibraltar, …