Les technologies de la g?oinformation dans la formation des futurs ing?nieurs des mines