It looks like they are a lot more.
Public workers usually have extra paid leaves, beside the statutory 20 days/year.
I recall these:
half a day off before Christmas, half a day off on New Years' Eve, half a day off before August 15th
Plus the usual saint patron's day.
The higher their seniority level, the more the days of paid vacation. I think it starts at 20 days and ends at 28.
If they work on shift or extra hard works, they can have up to 60 days of paid vacation/year.
There are rest hours if they are on call and are called, and the call takes more than 3 hours. E.g. they call you at 22 PM, you work more than 3 hours, you can take the next day off.
These things usually have a statutory minimum by law, plus a statute signed with the unions for "extras".
Example of those extras: if you work on shift and you are working at night, you get paid more (hourly). If you are working on a Sunday or a public holiday, you are paid 20% more. If you are working on a night of a public holiday (such as Xmas), you are paid 30% more.
My former employee gave free landline phone service to their employee since they are required to be on call one week per month. This clearly was instituted when mobile phones didn't exist, but unsurprisingly it remained (it means they have free landline and free ADSL at home).
