#!/bin/sh # -*- coding: iso-8859-15-unix -*- echo "Hello Pierre Téchoueyres" # Local Variables: # coding: iso-8859-15-unix # End: