La rédemption s'opérait par prévision avant qu'elle fût accomplie.