Registre transformé en RMM dans les spécifications