au demandeur une indemnité de dépens de CHF 4'000.- (y compris débours et TVA), à verser
par la défenderesse ;

constate
10

que la requête précitée à fin d’assistance judiciaire gratuite est devenue sans objet ;

informe

les parties des voies et délai de recours selon avis ci-après ;

ordonne