Minor cosmetic changes, translated French comments.