What guns do the Paris police use?

I was in Paris and I saw police walking around with automatic guns. Does anyone here know what these are?

(Just interested)