-coq    -manger