Philippe-Frédéric de Dietrich — French mineralogist (1748-1793)