Valentin Jacquemin

Note to self: keep in mind `git add --patch`