Merge branch 'master' into perso

diff --cc .procmailrc
Simple merge

diff --cc .ssh/config
index e67f776ecdb2cad153778b34b3e574034fc41029,0102a3bfb910fed241ec865ac500155d94215d58..a28e5b1fede04e56ca02babd89d59944c0b7d17e
--- 1/.ssh/config
--- 2/.ssh/config
+++ b/.ssh/config
@@@ -27,16 -27,16 +27,16 @@@ Compression ye
  HashKnownHosts no
  
  # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
- # et de la fingerprint présentée par le serveur
+ # et du fingerprint présenté par le serveur
  VerifyHostKeyDNS yes
  
 -#~# # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
 -#~# # trop longtemps.
 -#~# # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
 -#~# # sur la connexion, pour la garder vivante.
 -#~# ServerAliveInterval 60
 -#~# # Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
 -#~# ServerAliveCountMax 3
 +# Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
 +# trop longtemps.
 +# Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
 +# sur la connexion, pour la garder vivante.
 +ServerAliveInterval 60
 +# Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
 +ServerAliveCountMax 3
  
  # Les options suivantes apparaissent dans les blocs
  # Host = commence un bloc avec les noms qui utiliseront ce bloc