Fin de la redaction et des tests pour ReglesTypage.
Correction de ErreurContext.