bash trouver des fichiers avec une extension
# syntax
find </path/to/dir> -name '.<extension>'
# example
find /export/home/jacquesk -name '*.txt'
# This will search in folder-path (including subdirectories)
# of "/export/home/jacquesk", and will show any files
# that end in '.txt'
Jacques_Kirstein