Comment vérifier que les sources du noyau sont présentes sur le disque dur ?

Solution : en exploitant le programme rpm.