The Last Battle of Garrigou-Lagrange