Des plongeurs norvégiens ont filmé leur exploration de la grotte immergée El Toh, au Mexique.