D'ailleurs, vu qu'on parle de linux, aujourd'hui, sur les distrib pc, les noyaux sont ils par défauts 64, SMP, les deux, aucun ?