longue taille supérieure des mines de charbon de la spéléologie