l'installation de mongodb-10gen a échoué avec apt-get

Un bug ici https://jira.mongodb.org/browse/SERVER-6910

apt-get supprime d'abord les clients mongodb, puis l'installation de mongodb-10gen devrait fonctionner.