Inclusions différentielles, théorème de Baire, immersions isométriques et origamis