( Ateliers Constructions Puteaux ).