Main appelle LTL