Bonjour à tous, Au fait, est-il possible de savoir avec quelles options le kernel de debian a été recompilé ? Et de maniere générale, existe-til un /proc/machin qui nous dise si telle ou telle option a été activée ? Merci, Sam