cholestérol définition