Oui je conaissais le site package.ubuntu.com; j'avais tellement pris l'habitude de faire des recherches fructueuses sur Synaptic que je l'avais oublié .
Merci