la place de l'arpentage de l'ingénierie dans les mines de charbon