17:07:22,797 と 17:16:34,715 の間が、何分何秒か知りたい。
以下のようなスクリプトを作ったが、

import datetime

a = datetime.datetime.strptime('17:07:22,797', '%H:%M:%S,%s')
b = datetime.datetime.strptime('17:16:34,715', '%H:%M:%S,%s')
c = a - b
print c

ValueError がでる。
(strptime に %s の表現は使えないので当たり前だが)

Python の strptime は、C言語の strptime() を呼んでいると思われるのですが、
http://www.pinkdragon.net/DocumentsLibrary/contents/ja/Linux_man/strptime.3.html
によると、tm 構造体は、秒までの精度しか持っていないように見える。
ミリ秒まで計算させるにはどうしたらいいでしょうか？
以下のような感じ事で実行できるスクリプトを作りたいです。

$ hoge.py 17:07:22,797 17:16:34,715
9分11秒820ミリ秒