Hopf algebras, from basics to applications to renormalization