erf, je viens de comprendre, regval est un registre en algèbre de gray