Linux trouve plusieurs noms de fichiers
find /home/my_repo | grep -E "(filename1|name2|filename3)"
VasteMonde
find /home/my_repo | grep -E "(filename1|name2|filename3)"