Tinta, un éditeur Markdown léger qui s'ouvre instantanément