Inauguration de la devise républicaine