comment lancer le recompilateur de kernel !!!??? enfin sous quel pwd ???