(cross) ./13 > il y a un (enfin un pour chaque version) package debian linux-source-version (ex. linux-source-2.6.18), il suffit de l'installer et les sources seront dans /usr/src/linux ou /usr/src/linux-version je sais plus ^^