[Python] convert month to a season

[(month%12 + 3)//3 for month in range(1, 13)]
(df['date'].dt.month%12 + 3)//3