Ben vu la réponse de Thomas Labourdette, j'aurais du faire faire un 'apt-file update', ce qui m'aurait permis de me rendre compte qu'effectivement il n'existe plus. Guillaume Duveau