Administrator authored 2 weeks ago and Pierre-Alain Loizeau committed 2 weeks ago

The most non ASCII characters were used in comments but some were also used
for screen output. The most common non ASCII character was µ which was
exchanged by mu or micro.