Lähetä tietue sähköpostilla: Heuristique formelle et logiques modales non-normales