Rue Saint-Martin, ruelle des Lavandières, démolition aux Gauchetières : le point sur les travaux de Nogent-le-Rotrou