Correction de bugs

	Corrections d'erreurs de compilation due a un oublie de push sur le serveur