Berkovich spaces and applications (2015)