coq - sportif - Abstracción láctica sobre un fondo del tipo de meta.