Réseau de distribution d'eauUn réseau de distribution d'eau est une structure permettant de garantir l'approvisionnement en eau potable d'une zone (résidence, village, ville) ou industrielle. Cette eau est généralement froide mais certaines villes distribuent aussi de l'eau chaude sanitaire. Des enjeux sanitaires sont liés à la qualité de l'eau (qui est encore dans certaines régions dégradée par le plomb de tuyauteries anciennes, peut contenir des fibres d'amiante libérées par des tuyaux d'amiante-ciment, ou des contaminants liés à des fuites du réseau.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Eau bénitethumb|Fonts baptismaux, église Saint-Justin de Höchst, Francfort-sur-le-Main, Allemagne. thumb|Réserve d'eau bénite en grèsde Betschdorf, Bas-Rhin. L’eau bénite est un liquide utilisé à des fins cultuelles par certaines confessions chrétiennes comme l’Église anglicane, l’orthodoxie orientale, les Églises catholiques orientales, l’Église catholique romaine et l’Église vieille-catholique. Son utilisation provient de la religion romaine, où elle était employée par les pontifes.
