Among the many differences between classical and p-adic objects, those related to differential equations occupy a special place. This book aims to show that every smooth p-adic analytic space is provided with a sheaf of functions that includes analytic ones and satisfies a uniqueness property. It is aimed at graduate students and mathematicians.