./69> euh mal à la tête, je regarderai plus tard
./70> non, le comportement n'est pas spécifié ^^
Potentiellement s'il a envie de formater le disque à chaque déréférencement de pointeur nul, c'est un comportement tout à fait valide.