robinHood (./5) :
edit => mais ça ne gererais pas le centre de rotation ^^
Ah tiens, j'ai aussi oublié ça dans mes formules.

Tu as
f(x2+iy2)=z((x2-x3)+i(y2-y3))+x3+iy3 et donc
(x2, y2)=f-1(x1, y1)=((x1-x3)cos(α)+(y1-y3)sin(α)+x3, (y1-y3)cos(α)-(x1-x3)sin(α)+y3). Le raisonnement est le même que pour x
3=y
3=0, juste avec quelques additions et soustractions en plus.