Coq.in s.a. {coque in sufficiente aqua}