Premiers pas vers une logique des paires ordonnées.