Изменение временной метки unix на другой часовой пояс

Я получаю временную метку unix из веб-службы в программе Python. Эта отметка времени находится в часовом поясе США. Чтобы вставить его в базу данных MySQL с другими объектами, локализованными во Франции, я хотел бы преобразовать эту метку времени во французский часовой пояс.

Я мог бы сделать это с помощью математических функций, но существует проблема перехода на летнее время. Я бы предпочел использовать функции времени и даты Python, которые должны иметь дело с этими концепциями.

У вас есть подсказка, я потерялся в документации Python?