並前往https://hal.archives-ouvertes.fr/hal-03166198/file/0%20-%202020%2012%2001%20-%20STOTEN-D-20-24845%20-%20COMPILE%20-FINAL.pdf