waiting
Le Diko - Lemme de Zorn