Dear David and Paul, Many thanks for your prompt and helpful responses. I indeed forgot the most important word, sorry about that!
Sébastien. _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
