Petites modifications pour la branche de production de MySQL 5.

Cette version de maintenance vient corriger une anomalie.

Mysql publie également une version beta de MySQL Workbench, la 1.0.6 beta. Là aussi, il s'agit d'une version de maintenance.