echo '   '
cat  $1  $2 | sort -nu +0 +1 | tee $3 |
echo `wc -l` lignes dans le fichier resultant 
echo '   '
head $3
echo '   '