Cholestérol: trois brèves déclinaisons