Missing files from Élie's last commit