Paire
r |- a1 Err
r |- (a1, a2) Err
      
Paire
r |- a1 v1        r |- a2 Err
r |- (a1, a2) Err