Diverses corrections mineures de compilation.