La compilation du noyau Linux pourrait bientôt durer moins de 10 secondes | Factae