président-directeur général de la Compagnie des machines Bull