Quelques scripts utiles sous linux