Solution: 0 Pour passer le temps, on émet les noms des bibliothèques scrutées.
()
#! /bin/sh

for lib in /usr/lib/*.a
do 
    echo "       Reading $lib ..."
    nm $lib | grep "T $1$" && exit 0
done

# end of which.a.