Raphaël Beuchot is a user on oc.todon.fr. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.