Formater un disque dur depuis le BIOS : secret d'une efficacité maîtrisée