Modifications mineures

Petites modifications concernant certains fichiers.