correction fautes dans codes (remarques Brice)