Notez que, là non plus, aucune protection d’indice supplémentaire n’est à prévoir dans
int2db, dès lors qu’elle a déjà été prévue dans int2d.
255