[Tutti-commits] 01/26: utilisation d'alias dans les configurations (cela simplifie l'ecriture des scripts de lancement)