Comment redémarrer automatiquement un processus ?

Solution : en personnalisant le fichier de configuration ~/.bashrc.