trouver dans le terminal

find / -name abc.dmg
Jolly Jaguar