Resolution presque complete des bugs de noms