Gravar-mail: Les premiers ingénieurs industriels issus de l’École polytechnique