Modification des alias
Ajout de la configuration de ghci