The Vatican excommunicates the Lefebvrists, now it's official.