oui sauf que même en en ayant parlé, je vois pas comment faire forcément un nombre fini d'erreurs dans le cas où ni le nombre de chapeaux bleus ni le nombre de chapeaux rouge n'est dénombrable