Jean Devaux (23/01/1745-11/11/1819)