Topological groups in which multiplication of one side is differentiable