// Evaluation du nombre de bits de la mantisse
p = 0;
a = 1.0;
while (a+1.0)-a == 1.0
    a = 2*a;
    p = p+1;
end
p = p-1; // la dernière fois que l'on a calculé a = 2*a et incrémenté p, 
// on a dépassé le nombre de bits de la mantisse et on doit donc 
// décrémenter de 1 à la fin
printf("Valeur de p : %d", p);