formaliser (EtreTemps)
formalizing (BT)

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