Detailed Jarzynski equality applied to a logically irreversible procedure A. Bérut, A. Petrosyan and S. Ciliberto EPL, 103 6 (2013) 60002 Published online: 22 October 2013 DOI: 10.1209/0295-5075/103/60002