Le Consolidateur
CONSOLIDATE : 1 OUT relations NEG
Lunettes stéréoscopiques r_isa verres correcteurs IS < 0 AND verres correcteurs r_hypo Lunettes stéréoscopiques IS > 0 ==> inverse_relation(209739, 16307573, 8)
CONSOLIDATE : 92 IN relations NEG
fini !