Division by three - Doyle & Conway (dont une partie de Cantor-Bernstein dans ZF)
Five Stages of Accepting Constructive Mathematics - Andrej Bauer @ IAS