https://www.lojiciels.com/comment-savoir-si-mon-bios-est-32-bits-ou-64-bits/