Pourquoi la division par zéro avec des nombres à virgule flottante (ou à double précision) ne renvoie-t-elle pas Java.lang.ArithmeticException:/by zero in Java