Conversion d'un nombre décimal en HH:MM:SS

Bonjour à tous

Dans une de mes bases de données, je dois calculer la moyenne de plusieurs durées. Cette donnée (durée) est exprimée en minutes (donc de type INTEGER).
Pour calculer la moyenne de ces durées, pas de problème mais j'obtiens un nombre à virgule (ex : 72,8425631...).

J'aimerais donc savoir s'il existe une fonction SQL qui permette de convertir ce résultat dans le format HH:MM:SS ou HH:MM.

Merci d'avance pour vos réponses.

bonjour,


la doc : http://www.postgresql.org/docs/9.1/s...ormatting.html


une piste :

Code:

---

1 2 3 4 5 6

select to_char(interval '72.86m', 'hh:MI:ss');   Résultat : ------------------------ "01:12:51"

---

Il y a peut être plus simple