  We prove that if a group scheme of multiplicative type acts on an algebraic
stack with affine, finitely presented diagonal then the stack of fixed points
is algebraic. For this, we extend two theorems of [SGA3.2] on functors of
subgroups of multiplicative type, and functors of homomorphisms from a group of
multiplicative type.
