Comment écrire une preuve - Leslie Lamport -
Conférence invitée - 3 avril 2003