Automates avec coût et reconnaissabilité dans les monoïdes libres commutatifs — Philippe Gohon