Comment convertir des secondes au format Heure:Minute:Seconde en PHP ?

Bonjour à tous ! Je suis débutant en PHP et j'ai rencontré ce problème : j'ai une variable qui stocke un nombre de secondes, par exemple 3665. Je dois afficher ce temps dans un format lisible HH:MM:SS, soit 1:01:05. J'ai essayé de simplement diviser par 3600, 60 et d'utiliser le reste de la division, mais j'obtiens n'importe quoi. Voici mon code : ```php ``` Le problème est que les heures s'affichent comme 1.0180555555556, et les minutes comme 1.0833333333333. Je comprends qu'il faut arrondir, mais si j'utilise simplement intval, les restes sont perdus. Pouvez-vous me dire comment faire correctement ? Il faut que les heures, minutes et secondes soient des entiers, et que le format ait des zéros non significatifs.