Les algèbres de Hopf de Connes-Kreimer, utilisées en renormalisation, sont des exemples de procédés de quantification canoniques pour les algèbres pré-Lie. On donne une construction simple de cette quantification en utilisant l'algèbre enveloppante universelle des “algèbres de Lie tordues” (algèbres de Lie dans la catégorie des modules symétriques). Comme application on obtient une démonstration simple du théorème PBW (quantifié) pour les algèbres de Lie issues d'un produit pré-Lie (sur un anneau de base commutatif quelconque). Plus généralement, on observe que la quantification et le théorème de PBW s'étendent aux algèbres pré-Lie dans n'importe quelle catégorie symmétrique monoidale abélienne avec limites. On étend aussi un théorème de Stover pour les algèbres de Lie tordues connexes dans ce contexte catégorique.