Second example works.
Merge branch 'sparkfrontend' of https://github.com/Matafou/CompCert into sparkfrontend

# Veuillez entrer un message de validation pour expliquer en quoi cette fusion est
# nécessaire, surtout si cela fusionne une branche amont mise à jour dans une branche de sujet.
#
# Les lignes commençant par '#' seront ignorées, et un message vide
# abandonne la validation.