codice:
grep -R gestione /directory/*