How to say Coq Lascar in any language!