Sémantique formelle de JavaScript : les enjeux du passage à l'échelle