.tok-d { color:#dc3545; font-weight:600; } /* rouge */
.tok-u { color:#0d6efd; font-weight:600; } /* bleu */