formaliser [EtreTemps]formalizing [BT]NT: Formalizing (formalisieren), 22, 77-78, 88, 147, 159, 208, 283, 432-433; deformalized, 45, 241 [BT]