la place de l'arpentage de l'ingenierie dans les mines de charbon