Échevin de Paris ?
Selon certains, le grand-père d'Adrien Devin (1639-1680) était échevin de Paris mais se prénommait Adrien plutôt que René.