Most card terminals in France don't have a tip option. Carry a few euro coins for cash tips after card payment.
Restaurants now usually have terminals brought to your table. Pay, then leave 1–5 euros in cash on the table.
Double-tipping (service compris + extra) is fine if you want to be generous, but not expected.