Module Tuto4_pluginSource

Sourcemodule Myexternals : sig ... end

We don't need to expose any APIs for the plugin to work, but we may if we want to allow further plugins to build on this one.