./5763 montre bien la difficulté de jongler entre les Ordinaux et les CArdinaux, d'où l'intérêt de travailler plutôt avec les RIrdinaux et les NArdinaux définis par :[ul][li]|rirdinaux> = (|ordinaux>+|cardinaux>)/sqrt(2)[/li][li]|nardinaux> = (|ordinaux>-|cardinaux>)/sqrt(2)[/li][/ul]Et là, les maths deviennent beaucoup plus claires, et Claire devient beaucoup plus matheuse (et mateuse (enfin ça, elle l'était déjà avant)).