Old Octopuce SSH keys still around

I just realised /root/.ssh/authorized_keys on Pi still has keys of people who appear to have left Octopuce, such as Skhaen :

environment="SSHCLIENTUSER=Guillaume Lecoquierre",environment="EDITOR=/usr/bin/vim" ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDKlModVGvtRDjgMJes165L8RsOhOrHkzh2kkE8x9VIGZkFplRK8ZSO46xHpJgLnbAd9WSakCld+tZd6U0j2PCYUbTx0Eeo5GeKg6wMhdaJZ1S9Ci66YJidXGbYW5wvPK2kbjOIFxZWzpLl36i34FXNcJ0Z8K2YIfova5OhMR0xke/Y/MfjnoAe8653dxqlDK0BZwuu16MTerj2QxC7vkRdMkux2R7dldd+LeD31OMUFJzPz+8spzzr9s1nIarshhoRo19s/jmModyq5694QHcq6Ex+O6AB43jEBiKpOMfaD9bM6sloLYbMPZKiTXXg+nAx0A3m+pn1BBf82Qc0i83d guillaume@octopuce.fr root

There is also a key for François Dupont, who doesn't appear to be part of Octopuce, if this page is up to date.

They should be removed on the Octopuce side, given that file is managed by their Puppet.