[Proba] Lipitor coq10