Comment connaître le nombre de coeurs du processeur sur Windows 10 et Linux