Congrès International sur le Creusement des Galeries au Rocher (1949 Paris)