Comment coq devrait être aspiré période