Le paquet classique contient 55 cartes, mais une construction mathématique parfaitement symétrique en prévoit 57.
Le point de départ est immédiatement concret : 55 cartes dans la boîte, mais 57 cartes dans la structure mathématique complète. Le sujet permet de construire un mini-Dobble, de découvrir un plan projectif fini puis de détecter les cartes manquantes par simple comptage.
Dans le Dobble classique, chaque carte porte 8 symboles et deux cartes quelconques ont toujours exactement un symbole en commun. La boîte commerciale contient 55 cartes et 57 symboles distincts.
Mais lorsqu’on étudie la structure mathématique qui produit cette propriété, un nombre apparaît naturellement : \[ \boxed{57\text{ cartes}}. \] Il semble donc manquer deux cartes.
Ma problématique est : pourquoi les mathématiques prévoient-elles 57 cartes alors que la boîte de Dobble n’en contient que 55 ?
Pour répondre, je vais d’abord construire un mini-Dobble, puis relier le jeu à une géométrie finie appelée plan projectif.
Prenons seulement sept symboles, notés \(A,B,C,D,E,F,G\), et construisons sept cartes :
\[ ABC,\quad ADE,\quad AFG,\quad BDF,\quad BEG,\quad CDG,\quad CEF. \]
On peut vérifier que deux cartes quelconques possèdent exactement une lettre commune. Par exemple : \[ ABC\cap ADE=\{A\}, \] et \[ BDF\cap CEF=\{F\}. \]
Ce petit jeu contient 7 cartes, 7 symboles, et 3 symboles par carte. Il correspond au plus petit plan projectif fini non trivial : le plan de Fano.
Ce mini-exemple est important car il montre que Dobble n’est pas construit en essayant des cartes au hasard : il existe une structure mathématique qui garantit la propriété d’intersection.
Dans un plan projectif fini, on dispose de points et de droites avec deux règles essentielles :
Première règle : deux droites distinctes se coupent en exactement un point.
Deuxième règle : deux points distincts appartiennent à exactement une droite.
Pour Dobble, on fait la traduction suivante : \[ \boxed{\text{une carte }\longleftrightarrow\text{ une droite}} \] et \[ \boxed{\text{un symbole }\longleftrightarrow\text{ un point}}. \]
Alors la phrase géométrique « deux droites se coupent en un unique point » devient exactement la règle du jeu : « deux cartes ont un symbole commun et un seul ».
C’est ce passage de la géométrie au jeu qui permet de construire toutes les cartes sans avoir à vérifier une par une les milliers de paires possibles.
Dans un plan projectif fini d’ordre \(q\), chaque droite contient \[ q+1 \] points, chaque point appartient à \(q+1\) droites, et le nombre total de points comme de droites vaut \[ q^2+q+1. \]
Une carte de Dobble contient 8 symboles. On doit donc avoir \[ q+1=8, \] d’où \[ q=7. \]
Le nombre de cartes du modèle complet vaut alors \[ 7^2+7+1 = 49+7+1 = \boxed{57}. \] Et le nombre de symboles est lui aussi \[ \boxed{57}. \]
En posant directement \(k=q+1\), où \(k\) est le nombre de symboles par carte, on peut écrire : \[ \boxed{N=k(k-1)+1}. \] Pour \(k=8\) : \[ N=8\times7+1=57. \]
Dans le plan projectif complet d’ordre 7, chaque point appartient à 8 droites. Avec notre traduction, cela signifie que chaque symbole doit apparaître sur 8 cartes.
On peut vérifier la cohérence en comptant toutes les apparitions de symboles de deux façons.
Il y a 57 cartes avec 8 symboles chacune : \[ 57\times8=456. \] Et il y a 57 symboles apparaissant chacun 8 fois : \[ 57\times8=456. \] Les deux comptages donnent bien le même total.
Le modèle à 57 cartes possède donc une symétrie parfaite : même nombre de cartes et de symboles, 8 symboles par carte et 8 cartes par symbole.
Le jeu commercial classique contient 55 cartes. Mathématiquement, on peut le voir comme le modèle complet à 57 cartes auquel deux cartes ont été retirées.
Et supprimer des cartes ne détruit pas la propriété fondamentale. Si deux cartes restantes avaient exactement un symbole commun avant la suppression, elles possèdent toujours ce même symbole après.
Autrement dit, retirer des cartes enlève certaines paires à comparer, mais ne modifie jamais l’intersection entre les cartes qui restent.
En revanche, on perd la symétrie parfaite du modèle complet : certains symboles n’apparaissent plus 8 fois.
Le paquet commercial contient \[ 55\times8=440 \] apparitions de symboles, alors que le jeu complet en aurait \[ 57\times8=456. \] Il manque donc \[ \boxed{456-440=16} \] apparitions.
Les deux cartes retirées possédaient 8 symboles chacune, mais comme toute paire de cartes, elles avaient exactement un symbole commun.
Leur union contient donc \[ 8+8-1=15 \] symboles distincts.
Le symbole commun a perdu deux apparitions : il apparaît donc 6 fois au lieu de 8. Les 14 autres symboles présents sur l’une ou l’autre des cartes retirées ont chacun perdu une apparition : ils apparaissent 7 fois.
Les 42 symboles restants apparaissent toujours 8 fois.
On obtient donc : \[ \boxed{42\times8+14\times7+1\times6=440}. \] C’est une véritable signature mathématique des deux cartes manquantes.
Oui, au moins en principe. Le symbole qui n’apparaît que 6 fois doit appartenir aux deux cartes manquantes.
Les 14 symboles qui apparaissent 7 fois doivent ensuite être répartis en deux groupes de 7. Chaque carte manquante est donc composée du symbole commun, plus 7 de ces 14 symboles.
Mais on ne peut pas choisir cette répartition au hasard. Les deux cartes reconstruites doivent avoir exactement un symbole commun avec chacune des 55 cartes existantes.
La reconstruction devient donc un problème de contraintes combinatoires : retrouver la seule répartition compatible avec toutes les intersections du jeu.
Dans le plan projectif complet d’ordre 7, les 57 droites existent déjà toutes. Ajouter une nouvelle carte de 8 symboles tout en imposant exactement une intersection avec chacune des 57 cartes reviendrait à ajouter une nouvelle droite à une structure déjà complète.
Dans ce modèle, ce n’est pas possible : la nouvelle carte finirait nécessairement par partager zéro ou plusieurs symboles avec au moins une carte existante.
Le nombre 57 n’est donc pas seulement un nombre pratique : c’est le nombre naturel de cartes de la structure projective complète d’ordre 7.
Les sources officielles d’Asmodee confirment 55 cartes et 57 symboles, mais n’expliquent pas sur leur page produit la raison précise du retrait des deux cartes.
Des ressources mathématiques universitaires attribuent ce choix à des contraintes ou coûts de production. Je distinguerais donc clairement les deux niveaux : les mathématiques prouvent qu’un jeu complet de cette structure contient 57 cartes ; la raison industrielle exacte du choix commercial de 55 cartes n’est pas, dans les sources officielles utilisées ici, documentée en détail.
Dobble repose sur une correspondance étonnante : \[ \boxed{\text{cartes}\leftrightarrow\text{droites}} \qquad \boxed{\text{symboles}\leftrightarrow\text{points}}. \]
Avec 8 symboles par carte, le plan projectif d’ordre 7 conduit à \[ \boxed{57\text{ cartes et }57\text{ symboles}}. \] Le paquet commercial n’en contient que 55 : deux cartes de la structure complète sont donc absentes.
Et leur absence laisse une trace que l’on peut détecter par simple comptage des fréquences. C’est ce qui rend ce jeu remarquable : derrière un jeu d’observation très simple se cache une géométrie finie extrêmement rigoureuse.
Le lien avec le plan projectif fini dépasse le programme strict de Terminale : il faut donc l’expliquer simplement et l’utiliser comme une structure de modélisation, sans chercher à développer toute la théorie.
Enfin, les mathématiques permettent de montrer que le modèle complet d’ordre 7 contient 57 cartes et que le paquet commercial en possède 55. En revanche, la raison industrielle précise du choix de 55 cartes doit être distinguée du résultat mathématique : la page officielle d’Asmodee utilisée ici ne détaille pas cette décision.