Étant donné une datetime.timevaleur en Python, existe-t-il un moyen standard d'y ajouter un nombre entier de secondes, de sorte que 11:34:59+ 3 = 11:35:02, par exemple? Ces idées évidentes ne fonctionnent pas: >>> datetime.time(11, 34, 59) + 3 TypeError: unsupported operand type(s) for +:...