Écoles d'ingénieurs (mines) (1956)