16.6-Coq (Lisbonne) P1080832