bios-carte-blanche.pdf