A theoretical study of the first transition for the non-linear Stokes problem in a horizontal annulus