Bug report: la somme MD5 de PreOs ne correspond pas aux premières décimales de pi.