[de] Lamport

[fr] Lamport