Systeme Double double Epsilon, PROceau