diverses petites modifications, normalement sans consequences