fransmännen hade anträdt sin marsch mot Puebla.