Merge branch 'master' into perso

Conflicts:
	.bash_aliases

diff --cc .bash_aliases
index 537f2bc9b5bff694e028841c82dc4a5e80a82c2f,f23980cc21db5702fb9e320a522b03384430af46..92620790480c52e0cd6d52ff9e0b80d9adf9271c
--- 1/.bash_aliases
--- 2/.bash_aliases
+++ b/.bash_aliases
@@@ -101,16 -90,18 +98,18 @@@ alias exportless="export LESS='-S'
  # +-------+
  # Des raccourcis pour appeler des logiciels avec des options supplémentaires
  
 -#~# # Pour que youtube-dl récupère seulement l'audio, et en MP3 s'il vous plait
 -#~# alias youtube-dl='youtube-dl --extract-audio -t --audio-format=mp3'
 +# Pour que youtube-dl récupère seulement l'audio, et en MP3 s'il vous plait
 +alias youtube-dl='youtube-dl --extract-audio -t --audio-format=mp3'
  
 -#~# # Pour avoir les diff sous format git-like
 -#~# alias diff='diff -u'
 -#~# alias colordiff='colordiff -u'
 +# Pour avoir les diff sous format git-like
 +alias diff='diff -u'
 +alias colordiff='colordiff -u'
  
 -#~# # Pour que mtr n'utilise pas l'interface graphique
 -#~# alias mtr='mtr -t'
 +# Pour que mtr n'utilise pas l'interface graphique
 +alias mtr='mtr -t'
  
+ 
+ 
  # +--------+
  # | Divers |
  # +--------+