En informatique théorique, l’incertain est chose courante. Des centaines de problèmes ont un statut particulier : à ce jour, personne ne sait s’il existe, ou pas, des méthodes – des algorithmes – ...