grep, la commande magique : RTFM ! dimanche 25 août 2013 à 20:32 C'est toujours utile. via https://bajazet.fr/shaarli/?88MWAw(Permalink)