Le principe de Lefschetz quantique permet de connaître les invariants de Gromov--Witten du lieu des zéros d'une section de fibré à partir de ceux de l'espace ambiant. Plus généralement, il exprime une relation entre les classes fondamentales virtuelles des champs de modules d'applications stables vers ces schémas, obtenues par une construction qui peut sembler impénétrable. Dans cet exposé, j'expliquerai comment interpréter à l'aide de la géométrie dérivée ce résultat comme un phénomène purement géométrique, et en déduire une catégorification de la formule pour les classes virtuelles.