distante : git push origin --delete [nom_de_la_branche]
 -
                
                https://www.journaldunet.fr/web-tech/developpement/1202943-effacer-une-branche-git-a-la-fois-locale-et-distante/
  
 -
                
                https://www.journaldunet.fr/web-tech/developpement/1202943-effacer-une-branche-git-a-la-fois-locale-et-distante/wtf?
cd dir
time perl -e 'for(<*>){((stat)[9]<(unlink))}'
 -
                
                http://www.slashroot.in/which-is-the-fastest-method-to-delete-files-in-linux
  
 -
                
                http://www.slashroot.in/which-is-the-fastest-method-to-delete-files-in-linux