Computer science and engineering in the Formation Ingénieur Civil des Mines