Taking @Zimmi48's comment into account
Taking @Zimmi48's comment into account

Co-Authored-By: Théo Zimmermann <6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr>
silene/coq,SkySkimmer/coq,gares/coq,JasonGross/coq,Matafou/coq,SkySkimmer/coq,silene/coq,Matafou/coq,coq/coq,JasonGross/coq,ejgallego/coq,silene/coq,gares/coq,Matafou/coq,Zimmi48/coq,coq/coq,Zimmi48/coq,gares/coq,coq/coq,coq/coq,ejgallego/coq,ejgallego/coq,JasonGross/coq,Zimmi48/coq,gares/coq,Zimmi48/coq,ejgallego/coq,gares/coq,SkySkimmer/coq,JasonGross/coq,SkySkimmer/coq