Introduction
Notations
Historical comments and contents

1 Gromov's proof
1.1 Reminders on holomorphic curves
1.2 Floer continuation strips
1.3 Proof of theorem 1.1

2 Chekhanov's proof
2.1 Filtered Lagrangian Floer homology
2.2 Definition of the continuation maps
2.3 Proof of Theorem 0.1 for rational Lagrangian submanifolds

3 Kerman's proof
3.1 Definition of the relative PSS maps
3.2 Proof of Theorem 0.1
3.3 Equivalence of the previous proofs

4 Concluding remarks