Coq = Alpha
Autrement dit, tu portes grave mal ton pseudo fdp