Pierre Gassendi - Other languages