inputrc pour améliorer le shell