#!/bin/bash
# Dernière révision : 2022/02/14
# Erase_all remet le dossier "à vide". Attention ça efface comme un bourrin. 
rm -r ./alentours ./sources_tri ./sources_brutes/* controlline_*.txt