Si, effectivement (j'ai vérifié entre temps - j'avais un doute, ça fait un moment que j'ai plus eu besoin d'y toucher).

Mais ça n'explique pas pourquoi le C a choisi ce comportement, arrondir au plus proche minimise l'erreur et ça me semble beaucoup plus logique... Et sur x86 en tout cas, avoir un mode d'arrondi différent dans ce cas tue les perfs : http://www.mega-nerd.com/FPcast/
(l'article est vieux, donc il y a pu avoir des changements depuis, mais en tout cas c'était vrai à l'époque)