why3-examples: national-encoding [usr/share/doc/why3-examples/examples/bts/95_char_encoding_latin1.mlw]
